algebraic theory of numbers